Section: New Software and Platforms
CISE Tool
Keywords: Distributed Applications - Program verification
Functional Description: Static analysis of the model of a distributed application, to prove (under the assumption of causal consistency) whether the invariants of the application are always satisfied, and to provide a counterexample if not.
-
Publications: Evaluation of the CEC (Correct Eventual Consistency) Tool - The CISE Tool: Proving Weakly-Consistent Applications Correct - The CISE Tool: Proving Weakly-Consistent Applications Correct - CISE Safety Tool - 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems - Putting Consistency back into Eventual Consistency